package edu.pku.sei.mte.exceptions;


public abstract class UserDefinedException extends TException {
	public boolean doesExist(){
		return false;
	}
}
